True Concurrent Stochastic Processes
نویسندگان
چکیده
In this work we present an algebraic framework for true concurrent stochastic processes. Concurrency is modelled using partial order relations. Markov processes are considered using an abstraction given by their excessive functions. Applications include embedded systems, as cardiac stimulators, encephalogram analysers and air traffic control systems. Copyright c ©2005 IFAC
منابع مشابه
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets. This new object is defined for event structures, it is called a branching cell. Our aim is to bring an interpretation of branching cells as a right notion of “local state”, for concurrent systems. W...
متن کاملOn the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
We explore the relation between the stochastic semantic associated to stochastic Concurrent Constrain Programming (sCCP) and its fluid-flow approximation. Writing the master equation for a sCCP model, we can show that the fluid flow equation is a first-order approximation of the true equation for the average. Moreover, we introduce a second-order correction and first-order equations for the var...
متن کاملA Compact Semantic Model for Characterization of Stochastic Temporal Properties of Concurrent Systems
In this paper, a new semantic model is proposed for characterizing the performance properties of stochastic concurrent systems, called Maximality-based Labeled Stochastic Transition System (MLSTS). A Stochastic Process Algebra, called S-LOTOS, is associated with these MLSTS models as a specification language to describe the stochastic temporal aspects of concurrent systems under the assumption ...
متن کاملGene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch
We propose to model the dynamics of gene regulatory networks as concurrent processes in the stochastic pi calculus. As a first case study, we show how to express the control of transcription initiation at the lambda switch, a prototypical example where cooperative enhancement is crucial. This requires concurrent programming techniques that are new to systems biology, and necessitates stochastic...
متن کاملAbstract True Concurrency: Adhesive Processes
True Concurrency: Adhesive Processes Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, and Pawe l Sobociński 1 Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Italy 2 Dipartimento di Informatica, Università di Pisa, Italy 3 Institut für Formale Methoden der Informatik, Universität Stuttgart, Germany 4 Computer Laboratory, University of Cambridge, United Kingdom Abst...
متن کامل